Systematic Design Principles for Cost-Effective Hard Constraint Management in Dynamic Nonlinear Systems
نویسندگان
چکیده
Modern cost-conscious dynamic systems incorporate knobs that allow run-time trade-offs between system metrics of interest. In these systems regular knob tuning to minimize costs while satisfying hard system constraints is an important aspect. Knob tuning is a combinatorial constrained nonlinear dynamic optimization problem with uncertainties and time-linkage. Hiding uncertainties under worst-case bounds, reacting after the fact, optimizing only the present, and applying static greedy heuristics are widely used problem simplification strategies to keep the design complexity and decision overhead low. Applying any of these will result in highly sub-optimal system realizations in the presence of nonlinearities. The more recently introduced System Scenarios methodology can only handle limited form of dynamics and nonlinearities. Existing predictive optimization approaches are far from optimal as they do not fully exploit the predictability of the system at hand. To bridge this gap, the authors propose the combined strategy of dynamic bounding and proactive system conditioning for the predicted likely future. This paper describes systematic principles to design lowoverhead controllers for cost-effective hard constraint management. When applied to fine-grain performance scaling mode assignment problem in a video decoder design, proposed concepts resulted in more than 2x energy gains compared to state-of-the-art techniques. user, environment, hardware, input data, and mapping. At hardware implementation level, manufacturing process variability and material degradation are the two most-worried sources in advanced nanoscale device and 3D integration technologies (Borkar, 2005; Groeseneken, 2005; Srinivasan et al., 2004) they will result in spatial and temporal variation in parametric behavior (such as delay/access-time, active DOI: 10.4018/jaras.2011010102 International Journal of Adaptive, Resilient and Autonomic Systems, 2(1), 18-45, January-March 2011 19 Copyright © 2011, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. and leakage power) of components (such as functional units, memories, and communication links) (Groeseneken, 2005; Papanicolaou et al., 2008). They can also lead to temporary or permanent unavailability of a whole component or some operational modes of the component. These variations are traditionally hidden under worst-case abstractions (e.g., static clock period and functional failure) and made invisible to higher abstraction levels (typically by using simple redundancy-based techniques (Srinivasan et al., 2005; Constantinides et al., 2006)). With appropriate circuit-level techniques, such as delayed clocking (Ernst et. al., 2003) and measurement-driven adaptation, this dynamism can be propagated through the abstraction layers and made visible to higher levels leading to, what we call, dynamic hardware interface. Next to this, user inputs (e.g., changing from GPS navigation to video streaming application and changes in quality-of-service requirements such as frame rate, resolution, and level-of-detail) result in a dynamically changing set of applications, algorithms and their workload (Tack et al., 2005). In other words, sharing platform resources among multiple dynamic applications/tasks results in dynamic changes in the resource availability for a given application or task-set. Smart algorithms of future systems which adapt themselves to environment changes (e.g., moving from a WiFi hotspot area to WiMax/3G coverage area, fluctuating wireless channel state due to fading effects, changing requirements of dynamic active set of users sharing the same frequency spectrum) result in a dynamic workload (Li et al., 2008). In applications like video codec and graphics rendering, input data being processed by the algorithm results in varying workload both within and across the frames (Wiegand et al., 2003). Cost-efficient mapping (e.g., bit-width aware compilation, distributed loop-buffers, etc) of algorithms on architectures further exploits the variations in the control and data signals and thus acts as additional source of dynamism (typical compilation techniques hide this dynamism with abstractions such as worst-case bit-width and predication) (Novo et al., 2008). Although the dynamism introduced by mapping is significantly influenced by other sources of dynamism, its complexity and huge impact on optimality make it worth treating as a separate source. To summarize, both the physical components of the system (so-called hardware) and their usage (so-called software) are extremely dynamic in most modern system contexts (as conceptually shown in Figure 1). It is important that the system allows the exploitation of dynamism by having not so large loadindependent cost as shown in Figure 2. Today many platforms are not designed to expose the underlying true cost variations. This implies the application designers have to discover the hidden opportunity to push the platform designers towards alternative holistically optimal systems. Similarly we assume that platforms suitable for hard constrained dynamic systems typically incorporate features to enable deterministic application mapping (like software controlled memories, time multiplexed access of shared resources, etc.) (Bekooij et al., 2004). Design-Time Worst-Case is the Stumbling-Block! Effectively handling dynamism is a major design challenge of embedded systems where the system-level “quality” constraints (on functionality, timing, quality-of-service, temperature, lifetime, etc.) are stringent and cost (both design time costs such as chip area, package, & cooling and runtime/operational costs such as energy consumption & QoS-based revenue) sensitivities are high. Dynamism affects, ideally, almost all design abstraction levels including hardware implementation, algorithm design, platform sizing, package design, and application mapping. Unfortunately, conventional system design approaches, either knowingly or otherwise, avoid/hide (and limit the propagation of) dynamism using worst-case abstractions (conceptually shown in Figure 3). This is done partly to reduce the design effort by simplifying mapping complexity and partly due to lack of awareness of such worst-case bounding in the 26 more pages are available in the full version of this document, which may be purchased using the "Add to Cart" button on the product's webpage: www.igi-global.com/article/systematic-design-principles-costeffective/51547?camid=4v1 This title is available in InfoSci-Journals, InfoSci-Journal Disciplines Computer Science, Security, and Information Technology. Recommend this product to your librarian: www.igi-global.com/e-resources/libraryrecommendation/?id=2
منابع مشابه
A Linear Matrix Inequality (LMI) Approach to Robust Model Predictive Control (RMPC) Design in Nonlinear Uncertain Systems Subjected to Control Input Constraint
In this paper, a robust model predictive control (MPC) algorithm is addressed for nonlinear uncertain systems in presence of the control input constraint. For achieving this goal, firstly, the additive and polytopic uncertainties are formulated in the nonlinear uncertain systems. Then, the control policy can be demonstrated as a state feedback control law in order to minimize a given cost funct...
متن کامل“Wood Already Touched by Fire is not Hard to Set Alight”; Comment on “Constraints to Applying Systems Thinking Concepts in Health Systems: A Regional Perspective from Surveying Stakeholders in Eastern Mediterranean Countries”
A major constraint to the application of any form of knowledge and principles is the awareness, understanding and acceptance of the knowledge and principles. Systems Thinking (ST) is a way of understanding and thinking about the nature of health systems and how to make and implement decisions within health systems to maximize desired and minimize undesired effects. A major constraint to applyi...
متن کاملDynamics and Motion Control of Wheeled Robotic Systems
Mobile robotic systems, which include a mobile platform with one or more manipulators, mounted at specific locations on the mobile base, are of great interest in a number of applications. In this paper, after thorough kinematic studies on the platform and manipulator motions, a systematic methodology will be presented to obtain the dynamic equations for such systems without violating the base n...
متن کاملOptimisation of assembly scheduling in VCIM systems using genetic algorithm
Assembly plays an important role in any production system as it constitutes a significant portion of the lead time and cost of a product. Virtual computer-integrated manufacturing (VCIM) system is a modern production system being conceptually developed to extend the application of traditional computer-integrated manufacturing (CIM) system to global level. Assembly scheduling in VCIM systems is ...
متن کاملA class of multi-agent discrete hybrid non linearizable systems: Optimal controller design based on quasi-Newton algorithm for a class of sign-undefinite hessian cost functions
In the present paper, a class of hybrid, nonlinear and non linearizable dynamic systems is considered. The noted dynamic system is generalized to a multi-agent configuration. The interaction of agents is presented based on graph theory and finally, an interaction tensor defines the multi-agent system in leader-follower consensus in order to design a desirable controller for the noted system. A...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IJARAS
دوره 2 شماره
صفحات -
تاریخ انتشار 2011